Listing 1 - 10 of 108 << page
of 11
>>
Sort by

Book
ISO/IEC/IEEE 31320-2:2012(E). : ISO/IEC/IEEE International Standard - Information technology -- Modeling Languages
Author:
ISBN: 0738180033 Year: 2012 Publisher: Geneva, New York : IEEE,

Loading...
Export citation

Choose an application

Bookmark

Abstract

IDEF1X97 consists of two conceptual modeling languages. The key-style language supports data/information modeling and is downward compatible with the US government's 1993 standard, FIPS PUB 184. The identity-style language is based on the object model with declarative rules and constraints. IDEF1X97 identity style includes constructs for the distinct but related components of object abstraction: interface, requests, and realization; utilizes graphics to state the interface; and defines a declarative, directly executable Rule and Constraint Language for requests and realizations. IDEF1X97 conceptual modeling supports implementation by relational databases, extended relational databases, object databases, and object programming languages. IDEF1X97 is formally defined in terms of first order logic. A procedure is given whereby any valid IDEF1X97 model can be transformed into an equivalent theory in first order logic. That procedure is then applied to a meta model of IDEF1X97 to define the valid set of IDEF1X97 models.


Book
ArchiMate 3.0.1 : specification
Author:
ISBN: 9401802351 9401802343 Year: 2017 Publisher: Berkshire : Van Haren Publishing,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
EOOLT 2017 : proceedings of the 8th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools : Wessling, Germany, Decebmer 1, 2017
Authors: --- ---
Year: 2017 Publisher: New York : ACM,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Proceedings of the 9th International Workshop on Equation-based Object-oriented Modeling Languages and Tools
Author:
Year: 2019 Publisher: New York, New York : Association for Computing Machinery,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
ArchiMate 3. 1 specification.
ISBN: 9401805148 Year: 2019 Publisher: [Place of publication not identified] : Van Haren Publishing,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
ArchiMate 3. 1 specification : a pocket guide.
ISBN: 9401805229 Year: 2019 Publisher: [Place of publication not identified] : Van Haren Publishing,

Loading...
Export citation

Choose an application

Bookmark

Abstract


Book
Topological UML modeling
Authors: ---
ISBN: 0128093536 012805476X 9780128093535 9780128054765 Year: 2017 Publisher: Cambridge, MA

Model-driven testing : using the UML testing profile
Author:
ISBN: 1281352837 9786611352837 3540725636 3540725628 9783540725626 Year: 2008 Publisher: Berliln ; New York : Springer,

Loading...
Export citation

Choose an application

Bookmark

Abstract

Model-driven development has become the most important new paradigm in software development and has already demonstrated considerable impact in reducing time to market and improving product quality. However, the development of high-quality systems not only requires systematic development processes but also systematic test processes. This book is about systematic, model-driven test processes in the context of UML. As UML provides only limited means for the design and development of test artifacts, a consortium was formed by the Object Management Group (OMG) to develop a UML profile for model-driven testing – the UML Testing Profile (UTP), an official OMG standard since 2005. Written by the original members of this standardization group, this book shows you how to use UML to test complex software systems. The authors introduce UTP step-by-step, using a case study that illustrates how UTP can be used for test modeling and test specification. You’ll learn how UTP concepts can be used for functional and non-functional testing, with example applications and best practices for user-interfaces and service oriented architectures. In addition, the authors demonstrate how to apply UTP using frameworks like TTCN-3 and the JUnit test framework for Java. This book is the definitive reference for the only UML-based test specification language, written by the creators of that language. It is supported by an Internet site that provides information on the latest tools and uses of the profile.

Fundamentals of object-oriented design in UML
Author:
ISBN: 020169946X 9780201699463 Year: 2000 Publisher: New York, N.Y. Dorset House Publishing


Book
Modeling and analysis of real-time and embedded systems with UML and MARTE
Authors: ---
ISBN: 0124166563 0124166199 1306070805 9780124166561 9780124166196 9781306070805 Year: 2014 Publisher: Amsterdam

Loading...
Export citation

Choose an application

Bookmark

Abstract

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE explains how to apply the complex MARTE standard in practical situations. This approachable reference provides a handy user guide, illustrating with numerous examples how you can use MARTE to design and develop real-time and embedded systems and software. Expert co-authors Bran Selic and Sébastien Gérard lead the team that drafted and maintain the standard and give you the tools you need apply MARTE to overcome the limitations of cyber-physical systems. The functional sophistication required of modern

Listing 1 - 10 of 108 << page
of 11
>>
Sort by